Nuprl Definition : rev_bimplies 9,38
p  q == q  p 
latex

Definitionsp  q
FDL editor aliasesrev_bimplies

origin